g:IAbMonoid. Comm(|g|;*) 

latex

Up	groups 1
Definitions of Statement	IMonoid, IAbMonoid
Definitions	True, T, t  T, x:A. B(x), P  Q, SqStable(P), IMonoid, IAbMonoid
Lemmas	iabmonoid wf, grp op wf, grp car wf, sq stable comm